Model-driven engineering

Results: 628



#Item
11Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT)

Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT)

Add to Reading List

Source URL: sdl-forum.org

Language: English - Date: 2014-10-14 21:11:07
12Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective Kamyar Sarshar, Peter Loos Institut for Information Systems (IWi) at the German Research Center for Artificial

Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective Kamyar Sarshar, Peter Loos Institut for Information Systems (IWi) at the German Research Center for Artificial

Add to Reading List

Source URL: bpm2005.loria.fr

Language: English - Date: 2005-09-12 10:45:11
13Semi-automatic generation of Web services and BPEL processes – A Model-Driven approach Rainer Anzböck, Schahram Dustdar

Semi-automatic generation of Web services and BPEL processes – A Model-Driven approach Rainer Anzböck, Schahram Dustdar

Add to Reading List

Source URL: bpm2005.loria.fr

Language: English - Date: 2005-09-12 10:45:04
14TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy  SPES 2020 Deliverable D1-1

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1-1

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Language: English - Date: 2012-02-20 08:24:15
15Microsoft Word - 6-GRTF_submission_tiirs.doc

Microsoft Word - 6-GRTF_submission_tiirs.doc

Add to Reading List

Source URL: www.lu.lv

Language: English - Date: 2010-12-05 07:03:56
16Fundamentals  Table of Contents 1. Fundamentals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  Other Guid

Fundamentals Table of Contents 1. Fundamentals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  Other Guid

Add to Reading List

Source URL: isis.apache.org

Language: English - Date: 2016-07-14 07:18:48
17Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2005-07-04 06:15:22
18Metamodel Usage Analysis for Identifying Metamodel Improvements Markus Herrmannsdoerfer, Daniel Ratiu, and Maximilian Koegel Institut f¨ ur Informatik, Technische Universit¨ at M¨

Metamodel Usage Analysis for Identifying Metamodel Improvements Markus Herrmannsdoerfer, Daniel Ratiu, and Maximilian Koegel Institut f¨ ur Informatik, Technische Universit¨ at M¨

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Language: English - Date: 2012-02-20 08:24:10
19Microsoft Word - IBSDM&BI.doc

Microsoft Word - IBSDM&BI.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:46:32
20SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software

SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software

Add to Reading List

Source URL: www.servicerobotik-ulm.de

Language: English - Date: 2016-01-13 04:09:47